منابع مشابه
Design and Implementation of Diagnostic Strategies Using Modal Logic
The ability to select suitable diagnostic assumptions and models extends the power of model-based diagnosis for complex systems and can explicitly be modeled by diagnostic strategies. Recently, Nejdl, Frr ohlich and Schroeder have developed a framework, which allows to express these strategies as formulas of a meta{language. This paper presents a method for designing strategy knowledge bases as...
متن کاملDIALOG: A Model Of Diagnostic Logic For Internal Medicine
A system f o r computer a s s i s t e d m e d i c a l d i a g n o s i s has been developed, which i n c o r p o r a t e s an i n n o v a t i v e model o f d i a g n o s t i c l o g i c . A s u p p o r t i n g m e d i c a l d a t a base has a l s o been assembled, now c o m p r i s i n g a p p r o x i m a t e l y f i f t y p e r c e n t o f t h e major diseases o f i n t e r n a l m e d i c i n ...
متن کاملExtension of Logic regression to Longitudinal data: Transition Logic Regression
Logic regression is a generalized regression and classification method that is able to make Boolean combinations as new predictive variables from the original binary variables. Logic regression was introduced for case control or cohort study with independent observations. Although in various studies, correlated observations occur due to different reasons, logic regression have not been studi...
متن کاملLinear Formulas in Continuous Logic
We prove that continuous sentences preserved by the ultramean construction (a generalization of the ultraproduct construction) are exactly those sentences which are approximated by linear sentences. Continuous sentences preserved by linear elementary equivalence are exactly those sentences which are approximated in the Riesz space generated by linear sentences. Also, characterizations for linea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BMJ
سال: 1987
ISSN: 0959-8138,1468-5833
DOI: 10.1136/bmj.295.6609.1325